Conjunctive normal form - PDFSEARCH.IO - Document Search Engine

Conjunctive normal form
Results: 92

#	Item
51	Finding Strategyproof Social Choice Functions via SAT Solving Felix Brandt and Christian Geist General Idea and Related Work • Add to Reading List Source URL: dss.in.tum.de Language: English - Date: 2015-02-02 05:06:41 Function Preference Pareto efficiency Conjunctive normal form Mathematics Voting system criteria Economics
52	An Introduction to Binary Decision Diagrams Henrik Reif Andersen x Add to Reading List Source URL: fooo.fr Language: English - Date: 2013-02-15 14:26:20 Logic Boolean satisfiability problem Tautology Conjunctive normal form Binary decision diagram Disjunctive normal form Propositional variable Truth table Canonical form Boolean algebra Mathematics Mathematical logic
53	The Complexity of Unique -SAT: An Isolation Lemma for -CNFs Chris Calabro Russell Impagliazzo Valentine Kabanets Ramamohan Paturi Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2007-10-29 20:04:40 NP-complete problems Boolean algebra Boolean satisfiability problem Electronic design automation Logic in computer science Conjunctive normal form Local search PP NP-complete Theoretical computer science Computational complexity theory Applied mathematics
54	Journal of Artificial Intelligence Research[removed]204 Submitted 06/07; published[removed]Conjunctive Query Answering for the Description Logic SHIQ Add to Reading List Source URL: www.jair.org Language: English - Date: 2009-08-06 19:21:15 Finite model theory Ontology Descriptive complexity Conjunctive query Database theory Computational complexity theory Conjunctive normal form FO Description logic Theoretical computer science Mathematics Mathematical logic
55	Conflict-Guided Simplification for SAT Michael L. Case1,2 , Sanjit A. Seshia1 , Alan Mishchenko1 , and Robert K. Brayton1 1 2 Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2008-01-31 13:42:07 Logic in computer science NP-complete problems Automated theorem proving Constraint programming Electronic design automation Boolean satisfiability problem Resolution Conjunctive normal form Satisfiability Modulo Theories Theoretical computer science Mathematics Applied mathematics
56	Board-Level Multiterminal Net Assignment Xiaoyu Song1, William N. N. Hung2, Alan Mishchenko1, Malgorzata Chrzanowska-Jeske1, Alan Coppola3 and Andrew Kennings4 1 Department of ECE, Portland State University, Portland, O Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-03-01 13:11:46 Applied mathematics Logic in computer science NP-complete problems Formal methods Boolean algebra Boolean satisfiability problem Field-programmable gate array Conjunctive normal form Routing Theoretical computer science Electronic engineering Electronic design automation
57	Applying Logic Synthesis for Speeding Up SAT Niklas Een, Alan Mishchenko, Niklas S¨ orensson Cadence Berkeley Labs, Berkeley, USA. EECS Department, University of California, Berkeley, USA. Chalmers University of Technol Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-03-20 02:33:25 Theoretical computer science Conjunctive normal form And-inverter graph Science Mathematics Circuit Canonical form Boolean network Logic Electronic design automation Formal methods
58	A Characterization Result for Circumscribed Normal Logic Programs Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract Circumscription has been perceived as an elegant mathematical technique for modelin Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:30:06 Formal languages Circumscription Logic programming Non-classical logic Conjunctive normal form Atomic formula Well-formed formula First-order logic Logic Mathematical logic Predicate logic
59	Microsoft Word - iwls07-final.doc Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-05-01 11:44:52 Boolean algebra Electronic design automation Formal methods Logic in computer science NP-complete problems Boolean satisfiability problem Binary decision diagram Functional dependency Conjunctive normal form Theoretical computer science Mathematics Mathematical logic
60	A Reduction Result for Circumscribed Semi-Horn Formulas Patrick Doherty Witold L ukaszewiczy Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:11:00 Generalization Atomic formula Conjunctive normal form Circumscription Logic programming First-order logic Logic Predicate logic Well-formed formula